home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / ai.prl / mike1.exe / SALARY.KB < prev    next >
Encoding:
Text File  |  1990-09-13  |  865 b   |  33 lines
  1. /* salary.kb
  2.  
  3.    Simple wm patterns and two rules to test new arithmetic operators
  4.    defined in MIKE.INI
  5. */
  6.  
  7.    rule init forward
  8.     if
  9.       start
  10.     then
  11.       add [annual_earnings, abel, 27000] &
  12.       add [annual_earnings, baker, 25000] &
  13.       add [annual_earnings, charlene, 28000] &
  14.       add [annual_earnings, doris, 24000].
  15.  
  16.    rule high_tax forward
  17.     if
  18.       [annual_earnings, Person, AE] &
  19.       AE > 25000
  20.     then
  21.       MonthlySalary := AE/12 &
  22.       MonthlyTax := MonthlySalary*0.40 &
  23.       announce [Person, ' pays this higher rate montly tax: ', MonthlyTax].
  24.  
  25.   rule low_tax forward
  26.     if
  27.       [annual_earnings, Person, AE] &
  28.       prolog(AE =< 25000)
  29.     then
  30.       MonthlySalary := AE/12 &
  31.       MonthlyTax := MonthlySalary*0.25 &
  32.       announce [Person, ' pays this lower rate montly tax: ', MonthlyTax].
  33.